virtual double graph
| reference |
|
|---|
- the data underlying a virtual double category
- types:
- vertex
- edge: in tight direction
- has a domain and a codomain
- pro-edge: edges in loose direction
- has a source and a target
- square: with multi-ary domain
- has all 4 of domain, codomain, source, and target